动态规划的一般描述

一，粗犷的动态规划算法：
st加入list
for z=1 to n //推进n次，n为dag顶点数
{
    for list中每个节点v
   {
       for 每个可用策略dec
       {
            计算v经dec转移得到的节点linv
            if linv超出状态空间，continue;
            看是否存在list(i).loc==linv.loc
            if yes
            {
                if linv.valu优于list(i).valu
               {
                     list(i)=linv;
               }
            }else
            {
                list.push_back(linv);
            }
       }
   }
}
二，带open标记的动态规划算法
st.open=true;
st加入list
for z=1 to n //推进n次，n为dag顶点数
{
    for list中open=true的节点v
   {
       v.open=false;//关闭
       for 每个可用策略dec
       {
            计算v经dec转移得到的节点linv，(linv.open=true)
            if linv超出状态空间，continue;
            看是否存在list(i).loc==linv.loc
            if yes
            {
                if linv.valu优于list(i).valu
               {
                     list(i)=linv;
               }
            }else
            {
                list.push_back(linv);
            }
       }
   }
}
open标记的作用是：如果一个点作过推进了，那么在其valu没有被更新的情况下不再对其作推进（因为再推进也不会得出新的结果）。
但要注意，与dijkstra算法的情况不同，open=false的点未必是不可再被刷新的点，所以不能以ed.open=false来作为程序终止的判据。